Theorem PolyEquivTensor.to_fun_linear_mul_tmul_mul_aux_2

Modification history