Def TensorAlgebra.toTrivSqZeroExt

Modification history