Theorem CompleteLattice.isStronglyCoatomic

Modification history