Theorem PolyEquivTensor.toFunLinear_algebraMap_tmul_one

Modification history