Theorem ExteriorAlgebra.lhom_ext

Modification history

2023-06-26 01:21

Mathlib/LinearAlgebra/ExteriorAlgebra/OfAlternating.lean

feat: port LinearAlgebra.ExteriorAlgebra.OfAlternating (#5465)

Added ExteriorAlgebra.lhom_ext View on Github →