Theorem SetRel.not_finiteDimensional_iff

Modification history