Mathlib v3 is deprecated. Go to Mathlib v4

Def exterior_algebra.lift_alternating_equiv

Modification history

2022-06-25 07:57
src/linear_algebra/exterior_algebra/of_alternating.lean
feat(linear_algebra/clifford_algebra/of_alternating): extend alternating maps to the exterior algebra (#14803)
Added exterior_algebra.lift_alternating_equivView on Github →