Theorem Lattice.isStronglyAtomic

Modification history

2025-03-13 06:05

Mathlib/Order/Atoms.lean

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

Added Lattice.isStronglyAtomic View on Github →