Mathlib Changelog
v4
Changelog
About
Github
Theorem
Booleanisation.not_comp_lt_lift
Modification history
2024-03-14 10:04
Mathlib/Order/Booleanisation.lean
chore: replace `λ` by `fun` (#11301) …
Modified
Booleanisation.not_comp_lt_lift
View on Github →
2023-09-27 08:12
Mathlib/Order/Booleanisation.lean
feat: Embed a gen. Bool. alg. into a Bool. alg. (#7371) …
Added
Booleanisation.not_comp_lt_lift
View on Github →