Stream: math-comp users

Topic: ✔ Nonincreasing sequences: one step is equivalent to global

Julien Puydt (Oct 11 2022 at 15:05):

Ah, it was here all along! Thanks!

Notification Bot (Oct 11 2022 at 15:05):

Julien Puydt has marked this topic as resolved.

Last updated: Jan 29 2023 at 19:02 UTC