Theorem CompleteLattice.IsCompactElement.directed_supₛ_lt_of_lt

Modification history