Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes

added theorem exists₂_congr
added theorem exists₃_congr
added theorem exists₄_congr
added theorem forall₂_congr
added theorem forall₃_congr
added theorem forall₄_congr