Theorem Rel.not_finiteDimensional_iff

Modification history