Theorem CompleteLattice.WellFounded.finite_of_independent

Modification history