Theorem TensorAlgebra.ι_leftInverse

Modification history