Theorem ExteriorAlgebra.toTrivSqZeroExt_ι

Modification history