Skip to content

Add congruence lemmas for closures

Amin Timany requested to merge amintimany/coq-stdpp:lemmas into master

Merge request reports