Mathlib Changelog
v3
Changelog
About
Github
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
src/data/set/basic.lean
Modified
src/logic/basic.lean
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
Modified
src/tactic/lint/misc.lean