Theorem IsCoinitialFor.image_of_monotone

Modification history

2026-02-22 23:38
Mathlib/Order/Bounds/Image.lean
chore: use @[to_dual] in Bounds/Image (#35211) …
Deleted IsCoinitialFor.image_of_monotoneView on Github →
2025-05-02 21:42
Mathlib/Order/Bounds/Image.lean
feat: cofinal sets (#24290) …
Added IsCoinitialFor.image_of_monotoneView on Github →