Theorem CompleteLattice.isCompactlyGenerated_of_wellFoundedGT

Modification history