Theorem PrincipalSeg.init

Modification history

2024-09-24 07:14

Mathlib/Order/InitialSeg.lean

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

Deleted PrincipalSeg.init View on Github →

2022-12-14 23:20

Mathlib/Order/InitialSeg.lean

feat port: Order.InitialSeg (#1012) …

Added PrincipalSeg.init View on Github →