Theorem InitialSeg.init

Modification history

2024-09-24 07:14

Mathlib/Order/InitialSeg.lean

chore(Order/InitialSeg): `init` → `mem_range_of_rel` (#16994) …

Deleted InitialSeg.init View on Github →

2023-03-02 17:41

Mathlib/Order/InitialSeg.lean

chore: swap the names of `InitialSeg.init` and `InitialSeg.init'` (#2581) …

Added InitialSeg.init View on Github →