Theorem PolyEquivTensor.toFunAlgHom_apply_tmul

Modification history