Def CompleteAtomicBooleanAlgebra.toSetOfIsAtom

Modification history

2025-11-21 03:35

Mathlib/Order/Atoms.lean

feat: add CompleteAtomicBooleanAlgebra is order isomorphic to set of its atoms (#31724) …

Added CompleteAtomicBooleanAlgebra.toSetOfIsAtom View on Github →