Theorem AlternatingMap.ext_ring

Modification history

2025-05-05 22:46
Mathlib/LinearAlgebra/Alternating/Basic.lean
feat: add `MultilinearMap.ext_ring` (#24374) …
Added AlternatingMap.ext_ringView on Github →