Theorem IsCompactlyGenerated.BooleanGenerators.complementedLattice_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.complementedLattice_of_sSup_eq_top View on Github →

2024-05-28 14:16

Mathlib/Order/BooleanGenerators.lean

feat(Algebra/Lie/Semisimple): API for semisimple Lie algebras (#13217) …

Added IsCompactlyGenerated.BooleanGenerators.complementedLattice_of_sSup_eq_top View on Github →