Commit 2024-11-28 16:12 37dfa236
View on Github →chore(Analysis/Multilinear): avoid explicit variable
s (#19445)
Also change implicitness of some arguments,
including the function argument of ContinuousMultilinearMap.opNorm_le_bound
,
expand some docstrings,
and reorder arguments of ContinuousMultilinearMap.le_of_opNorm_le