Theorem Lattice.isStronglyCoatomic

Modification history

2025-03-13 06:05

Mathlib/Order/Atoms.lean

feat(Order/Atoms): generalise IsAtomistic typeclass assumptions (#22891) …

Added Lattice.isStronglyCoatomic View on Github →