Def Set.principalSegIioIicOfLE

Modification history

2025-02-02 20:52
Mathlib/Order/Interval/Set/InitialSeg.lean
feat(CategoryTheory/Limits/Shapes/Preorder): principal segments (#21055) …
Added Set.principalSegIioIicOfLEView on Github →