Theorem ContinuousMultilinearMap.zero_prod_zero

Modification history

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