Commit 2024-10-08 07:22 f6499315
View on Github →chore(Order/InitialSeg): PrincipalSeg.down → PrincipalSeg.mem_range_iff_rel (#17516)
The former name was a bit too obscure.
Note that this swaps the order of the lemma. This is a breaking change, but a pretty minor and easy to fix one at that.