Theorem polyEquivTensor_symm_apply_tmul

Modification history