Theorem InitialSeg.mem_range_of_rel

Modification history

2024-09-24 07:14
Mathlib/Order/InitialSeg.lean
chore(Order/InitialSeg): `init` → `mem_range_of_rel` (#16994) …
Added InitialSeg.mem_range_of_relView on Github →