Theorem Antitone.isChain_image

Modification history

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