mathlib
211b0c05 - feat(logic/basic): forall2_congr lemmas (#4904)

Commit

5 years ago

feat(logic/basic): forall2_congr lemmas (#4904) Some helpful lemmas for working with quantifiers, just other versions of what's already there.

References

Author

b-mehta

Parents