Theorem CompleteLattice.isCompactElement_iff_le_of_directed_sSup_le

Modification history