Def ExteriorAlgebra.liftAlternatingEquiv
Modification history
2024-05-17 19:31
Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean
style: remove all isolated `where` (#12991)
Modified ExteriorAlgebra.liftAlternatingEquivView on Github →2024-03-01 17:50
Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean
fix: denote alternating map by ⋀, not Λ (#11064) …
Modified ExteriorAlgebra.liftAlternatingEquivView on Github →