cauchy): `cauchy_seq` index shift
#12261

Open

feat(topology/uniform_space/cauchy): `cauchy_seq` index shift #12261

ecstatic-morse wants to merge 5 commits into master from ecstatic/cauchy-seq-covariant

ecstatic-morse commented on 2022-02-23

ecstatic-morse added awaiting-CI

ecstatic-morse commented on 2022-02-24

chore(algebra/covariant): pass the operator explicitly for `monotone.…

1179155f

Add `monotone.tendsto_at_top_at_top_or_eventually_eq` for ℕ and ℤ

282cd56f

Add `cauchy_seq_of_eventually_const`

eb714269

Cauchy sequences remain Cauchy when composed with covariant operators

f9f15000

ecstatic-morse force pushed from 27a737ef to f9f15000 3 years ago

ecstatic-morse added not-ready-to-merge

ecstatic-morse marked this pull request as draft 3 years ago

github-actions removed awaiting-CI

Generalize index types

e155a5dd

ecstatic-morse removed not-ready-to-merge

ecstatic-morse added awaiting-review

ecstatic-morse marked this pull request as ready for review 3 years ago

sgouezel commented on 2022-02-25

sgouezel removed awaiting-review

sgouezel added awaiting-author

kim-em added too-late

Reviewers

sgouezel

Assignees

No one assigned

Labels

awaiting-author too-late

Milestone

No milestone