Theorem Rel.finiteDimensional_or_infiniteDimensional

Modification history