Theorem isCofinal_range_of_strictMono

Modification history

2026-07-03 00:00
Mathlib/Order/Cofinal.lean
feat: more results on `Order.enum` (#39136) …
Added isCofinal_range_of_strictMonoView on Github →