Theorem InitialSeg.map_rel_iff

Modification history

2024-07-01 17:37
Mathlib/Order/InitialSeg.lean
chore(Order): remove almost all autoImplicit (#14304) …
Modified InitialSeg.map_rel_iffView on Github →
2023-01-25 10:47
Mathlib/Order/InitialSeg.lean
Feat: add a `FunLike` and an `EmbeddingLike` instance (#1488) …
Added InitialSeg.map_rel_iffView on Github →