Def IsCompactlyGenerated.BooleanGenerators.booleanAlgebra_of_sSup_eq_top

Modification history

2026-07-24 09:53
Mathlib/Order/BooleanGenerators.lean
chore(Order): fix defs with underscore in their names (#41878) …
Deleted IsCompactlyGenerated.BooleanGenerators.booleanAlgebra_of_sSup_eq_topView on Github →
2024-07-25 23:15
Mathlib/Order/BooleanGenerators.lean
Chore: robustifying for debug.byAsSorry (part 7) (#15137) …
Modified IsCompactlyGenerated.BooleanGenerators.booleanAlgebra_of_sSup_eq_topView on Github →
2024-05-28 14:16
Mathlib/Order/BooleanGenerators.lean
feat(Algebra/Lie/Semisimple): API for semisimple Lie algebras (#13217) …
Added IsCompactlyGenerated.BooleanGenerators.booleanAlgebra_of_sSup_eq_topView on Github →