Theorem Antitone.isChain_range

Modification history

2026-06-21 22:46
Mathlib/Order/Preorder/Chain.lean
feat: monotone function `Cardinal → α` is eventually constant (#37344)
Added Antitone.isChain_rangeView on Github →