Theorem InitialSeg.ext

Modification history

2023-01-25 10:47
Mathlib/Order/InitialSeg.lean
Feat: add a `FunLike` and an `EmbeddingLike` instance (#1488) …
Added InitialSeg.extView on Github →