Def ExteriorAlgebra.ιMulti

Modification history

2024-03-01 17:50

Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean

fix: denote alternating map by ⋀, not Λ (#11064) …

Modified ExteriorAlgebra.ιMulti View on Github →

2023-11-29 19:54

Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean

chore: introduce notation for `AlternatingMap` (#8697) …

Modified ExteriorAlgebra.ιMulti View on Github →

2023-06-22 09:57

Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean

feat: port LinearAlgebra.ExteriorAlgebra.Basic (#5375)

Added ExteriorAlgebra.ιMulti View on Github →