Theorem ContinuousMultilinearMap.ext_ring

Modification history

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