Theorem SetRel.finiteDimensional_or_infiniteDimensional

Modification history