Theorem Set.principalSegIioIicOfLE_toRelEmbedding

Modification history

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