Theorem CompleteLattice.WellFoundedGT.finite_of_independent

Modification history