Commit 2022-01-02 23:55 03a54829
View on Github →chore(topology/continuous_on): fix a typo (#11190)
eventually_nhds_with_of_forall
→ eventually_nhds_within_of_forall
chore(topology/continuous_on): fix a typo (#11190)
eventually_nhds_with_of_forall
→ eventually_nhds_within_of_forall