Def Set.initialSegIicIicOfLE

Modification history

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