Theorem ExteriorAlgebra.liftAlternating_ιMulti

Modification history

2023-06-26 01:21
Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean
feat: port LinearAlgebra.ExteriorAlgebra.OfAlternating (#5465)
Added ExteriorAlgebra.liftAlternating_ιMultiView on Github →