Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
lattice.biimp_mp
Modification history
2022-09-25 08:17
src/order/imp.lean
feat(order/symm_diff): Heyting bi-implication (#16544) …
Deleted
lattice.biimp_mp
View on Github →
2021-11-17 04:51
src/order/imp.lean
feat(order/imp): define `lattice.imp` and `lattice.biimp` (#10327)
Added
lattice.biimp_mp
View on Github →