Theorem ContinuousMultilinearMap.smul_prod_smul

Modification history

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