Theorem TensorAlgebra.algebraMap_leftInverse

Modification history