Theorem PolyEquivTensor.toFunAlgHom_apply_tmul_eq_smul

Modification history