mathlib3
03a54829 - chore(topology/continuous_on): fix a typo (#11190)

Commit

4 years ago

chore(topology/continuous_on): fix a typo (#11190) `eventually_nhds_with_of_forall` → `eventually_nhds_within_of_forall`

Author

urkud

Parents