Theorem IsCompactlyGenerated.BooleanGenerators.mem_of_isAtom_of_le_sSup_atoms

Modification history

2024-07-25 23:15
Mathlib/Order/BooleanGenerators.lean
Chore: robustifying for debug.byAsSorry (part 7) (#15137) …
Modified IsCompactlyGenerated.BooleanGenerators.mem_of_isAtom_of_le_sSup_atomsView on Github →
2024-05-28 14:16
Mathlib/Order/BooleanGenerators.lean
feat(Algebra/Lie/Semisimple): API for semisimple Lie algebras (#13217) …
Added IsCompactlyGenerated.BooleanGenerators.mem_of_isAtom_of_le_sSup_atomsView on Github →