Commit 2024-11-28 16:12 37dfa236

View on Github →

chore(Analysis/Multilinear): avoid explicit variables (#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

Estimated changes