Theorem CompleteLattice.isCompactlyGenerated_of_wellFounded

Modification history