Theorem TensorPower.algebraMap₀_eq_smul_one

Modification history