Theorem ExteriorAlgebra.ιMulti_succ_apply

Modification history