Mathlib Changelog
v4
Changelog
About
Github
Def
IsCofinalFor
Modification history
2025-05-02 21:42
Mathlib/Order/Bounds/Defs.lean
feat: cofinal sets (#24290) …
Added
IsCofinalFor
View on Github →