Theorem InitialSeg.init

Modification history

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 →