Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
exterior_algebra.lift_alternating
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
View on Github →