Revision #2669 → #3198 · back to history
7e07ac34e185| Field | From #2669 | To #3198 |
|---|---|---|
| mathlib.module | Mathlib.Order.Cofinal | Mathlib.Order.Bounds.Defs |
| note | `IsCofinal` defines a cofinal set in any ordered type as one with elements ≥ every element (i.e. unbounded). | `IsCofinal` (in Mathlib.Order.Bounds.Defs) defines a cofinal set in any ordered type as one with elements ≥ every element (i.e. unbounded). |
4c3e616cb278