Add two useful lemmas (!101) · Merge requests · Iris / stdpp

Project 'janno/iris-coq' was moved to 'janno/iris'. Please update any links and bookmarks that may still have the old path.

Merged Amin Timany requested to merge amintimany/coq-stdpp:lemmas into master 5 years ago

All threads resolved!

Compare and

Add two useful lemmas