Skip to content

Add two useful lemmas

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

Merge request reports