Commit 2026-04-07 10:49 f5a6b7b3

View on Github →

feat: notation for UniformConvergenceCLM (#37614)

Estimated changes

modified theorem UniformConvergenceCLM.ext