Theorem ContinuousAlternatingMap.ext_ring

Modification history

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