Theorem ContinuousMultilinearMap.eq_prod_iff

Modification history

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