Theorem TensorAlgebra.toTrivSqZeroExt_ι

Modification history