Theorem CompleteAtomicBooleanAlgebra.exists_mem_le_of_le_sSup_of_isAtom

Modification history

2026-07-15 16:59
Mathlib/Order/Atoms.lean
chore: delete deprecated declarations to the end of 2025 (#41178) …
Deleted CompleteAtomicBooleanAlgebra.exists_mem_le_of_le_sSup_of_isAtomView on Github →
2025-11-21 03:35
Mathlib/Order/Atoms.lean
feat: add CompleteAtomicBooleanAlgebra is order isomorphic to set of its atoms (#31724) …
Added CompleteAtomicBooleanAlgebra.exists_mem_le_of_le_sSup_of_isAtomView on Github →