Theorem PolyEquivTensor.right_inv

Modification history