Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-04 06:54 46c48d7f

View on Github →

feat(logic/basic): add projection notation for iff (#11803)

Estimated changes

modified theorem and_congr_left'
modified theorem and_congr_right'
added theorem iff.and
added theorem iff.iff
added theorem iff.imp
added theorem iff.not
added theorem iff.or
modified theorem or_congr_left
modified theorem or_congr_right