Theorem SetRel.IsWellFounded.inv_of_finiteDimensional

Modification history