Revision #2299 → #2646 · back to history
834a09b359f7| Field | From #2299 | To #2646 |
|---|---|---|
| mathlib.decl | tendsto_of_subseq_tendsto | Filter.tendsto_of_subseq_tendsto |
| provenance | ai | ai-moderated |
2db70e14e3ad| Field | From #2299 | To #2646 |
|---|---|---|
| mathlib.decl | exists_dense_seq | TopologicalSpace.exists_dense_seq |
| provenance | ai | ai-moderated |