Theorem ContinuousLinearMap.compContinuousMultilinearMapL_apply

Modification history

2026-03-05 00:53
Mathlib/Topology/Algebra/Module/Multilinear/Topology.lean
feat(ContinuousMultilinearMap): generalize some definitions (#34491) …
Added ContinuousLinearMap.compContinuousMultilinearMapL_applyView on Github →