Theorem SetRel.IsWellFounded.of_finiteDimensional

Modification history