Theorem ContinuousMultilinearMap.isVonNBounded_image2_apply

Modification history

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