Theorem Rel.not_infiniteDimensional_iff

Modification history