Theorem CompleteLattice.WellFoundedLT.finite_of_independent

Modification history