Commit 2024-01-28 23:24 c38c032e

View on Github →

feat(Convex/Gauge): add continuousAt_gauge (#9911)

Estimated changes

added theorem continuousAt_gauge
modified theorem continuous_gauge