Theorem TensorPower.gMul_eq_coe_linearMap

Modification history