Theorem TensorPower.algebraMap₀_one

Modification history