Theorem isStronglyCoatomic_dual_iff_is_stronglyAtomic

Modification history

2024-07-10 15:41
Mathlib/Order/Atoms.lean
feat(Order/Atoms): strong atomicity typeclass (#14004) …
Added isStronglyCoatomic_dual_iff_is_stronglyAtomicView on Github →