Theorem ExteriorAlgebra.ι_leftInverse

Modification history