Theorem ExteriorAlgebra.lift_ι_apply

Modification history