[Merged by Bors] - feat: notation for UniformConvergenceCLM#37614

ADedecker wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

ADedecker:AD_uniformCLM_notationADedecker/mathlib4:AD_uniformCLM_notationCopy head branch name to clipboard