Theorem IsCompactlyGenerated.BooleanGenerators.isAtomistic_of_sSup_eq_top

Modification history

2024-07-25 23:15
Mathlib/Order/BooleanGenerators.lean
Chore: robustifying for debug.byAsSorry (part 7) (#15137) …
Modified IsCompactlyGenerated.BooleanGenerators.isAtomistic_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.isAtomistic_of_sSup_eq_topView on Github →