mathlib
a3678b5a - fix, golf

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

fix, golf

References

#17261 - feat(topology/continuous_on): add `tendsto_nhds_within_iff_seq_tendsto`

Author

RemyDegenne

RemyDegenne

Parents

FAQ Terms Privacy Refunds Impressum

Loading