Theorem IsCoinitialFor.image_of_antitone

Modification history

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