cauchy): `cauchy_seq` index shift
#12261

Open

Commits

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

ecstatic-morse committed 4 years ago
Add `monotone.tendsto_at_top_at_top_or_eventually_eq` for ℕ and ℤ

ecstatic-morse committed 4 years ago
Add `cauchy_seq_of_eventually_const`

ecstatic-morse committed 4 years ago
Cauchy sequences remain Cauchy when composed with covariant operators

ecstatic-morse committed 4 years ago
Generalize index types

ecstatic-morse committed 4 years ago