Theorem Rel.wellFounded_of_finiteDimensional

Modification history