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) …
Deleted InitialSeg.init'View on Github →
2022-12-14 23:20
Mathlib/Order/InitialSeg.lean
feat port: Order.InitialSeg (#1012) …
Added InitialSeg.init'View on Github →