Theorem polyEquivTensor_symm_apply_tmul_eq_smul

Modification history