Mathlib Changelog
v4
Changelog
About
Github
Def
GeneralizedBooleanAlgebra.toBooleanAlgebra
Modification history
2024-05-07 01:05
Mathlib/Order/BooleanAlgebra.lean
refactor: replace `@[reducible]` with `abbrev` (#12614) …
Deleted
GeneralizedBooleanAlgebra.toBooleanAlgebra
View on Github →
2022-12-02 17:14
Mathlib/Order/BooleanAlgebra.lean
feat: port Order.BooleanAlgebra (#794) …
Added
GeneralizedBooleanAlgebra.toBooleanAlgebra
View on Github →