Theorem ContinuousMultilinearMap.uniformity_eq_seminorm

Modification history

2026-03-10 12:49
Mathlib/Analysis/Normed/Module/Multilinear/Basic.lean
chore: remove unnecessary private and backward.privateInPublic (#36430) …
Added ContinuousMultilinearMap.uniformity_eq_seminormView on Github →