Theorem SetRel.finiteDimensional_inv

Modification history