Theorem PolyEquivTensor.left_inv

Modification history