Theorem PolyEquivTensor.invFun_add

Modification history