Theorem IsCoinitialFor.image_of_monotone

Modification history

2025-05-02 21:42
Mathlib/Order/Bounds/Image.lean
feat: cofinal sets (#24290) …
Added IsCoinitialFor.image_of_monotoneView on Github →