Skip to content

Introduce `set_bind` and associated lemmas.

Dan Frumin requested to merge dfrumin/coq-stdpp:set_bind into master

Merge request reports