Theorem CompleteLattice.isCompactElement_finsetSup

Modification history