Def IsCofinalFor

Modification history

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