Theorem PolyEquivTensor.invFun_monomial

Modification history