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