Theorem Rel.finiteDimensional_inv

Modification history