Theorem Nat.stabilises_of_monotone

Modification history

2024-11-27 20:04
Mathlib/Order/Monotone/Basic.lean
chore(Pointwise): move auxiliary lemma out (#19537) …
Added Nat.stabilises_of_monotoneView on Github →