Theorem PrincipalSeg.exists_eq_iff_rel

Modification history

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