Theorem CompleteLattice.isCompactElement_iff_le_of_directed_supₛ_le

Modification history