Commit 2020-11-04 16:04 211b0c05
View on Github →feat(logic/basic): forall2_congr lemmas (#4904) Some helpful lemmas for working with quantifiers, just other versions of what's already there.
feat(logic/basic): forall2_congr lemmas (#4904) Some helpful lemmas for working with quantifiers, just other versions of what's already there.