Theorem ContinuousMultilinearMap.prod_ext

Modification history

2025-01-06 14:36
Mathlib/Topology/Algebra/Module/Multilinear/Basic.lean
feat(ContinuousMultilinearMap): add lemmas about `.prod` (#20462)
Added ContinuousMultilinearMap.prod_extView on Github →