Theorem PolyEquivTensor.to_fun_linear_mul_tmul_mul_aux_1

Modification history