Theorem CompleteLattice.IsCompactElement.exists_finset_of_le_supᵢ

Modification history