Theorem ExteriorAlgebra.ι_sq_zero

Modification history