Theorem ExteriorAlgebra.liftAlternating_ι_mul
Modification history
2024-03-01 17:50
Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean
fix: denote alternating map by ⋀, not Λ (#11064) …
Modified ExteriorAlgebra.liftAlternating_ι_mulView on Github →