Theorem MatrixEquivTensor.right_inv

Modification history