Theorem ModuleCat.AlternatingMap.ext

Modification history

2025-07-04 07:44
Mathlib/Algebra/Category/ModuleCat/ExteriorPower.lean
chore: further whitespace fixes (#26708) …
Modified ModuleCat.AlternatingMap.extView on Github →
2025-01-26 15:45
Mathlib/Algebra/Category/ModuleCat/ExteriorPower.lean
feat(LinearAlgebra/ExteriorPower): the exterior powers, as functors (#18596) …
Added ModuleCat.AlternatingMap.extView on Github →