Theorem ExteriorAlgebra.ιMulti_zero_apply

Modification history

2024-09-25 02:09
Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean
fix: do not rely on the definition for List.ofFn (#17118)
Modified ExteriorAlgebra.ιMulti_zero_applyView on Github →
2023-06-22 09:57
Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean
feat: port LinearAlgebra.ExteriorAlgebra.Basic (#5375)
Added ExteriorAlgebra.ιMulti_zero_applyView on Github →