Theorem ExteriorAlgebra.ι_eq_algebraMap_iff

Modification history