Commit 2025-04-07 20:05 94bc9bc3

View on Github →

chore(ContinuousOn): use Sort* in a lemma (#23780)

Estimated changes

modified theorem nhdsWithin_hasBasis