Def ExteriorAlgebra.toTrivSqZeroExt

Modification history