Theorem MultilinearMap.ext_ring

Modification history

2026-10-29 21:19
Mathlib/LinearAlgebra/Multilinear/Basic.lean
feat(LinearAlgebra/MultilinearMap): notation for `MultilinearMap` (#43877) …
Modified MultilinearMap.ext_ringView on Github →
2025-05-05 22:46
Mathlib/LinearAlgebra/Multilinear/Basic.lean
feat: add `MultilinearMap.ext_ring` (#24374) …
Added MultilinearMap.ext_ringView on Github →