Theorem CompleteLattice.WellFounded.finite_of_setIndependent

Modification history