Theorem ExteriorAlgebra.ι_mul_prod_list

Modification history