Commit 2024-10-23 06:16 6e6c4beb

View on Github →

chore(SetTheory/Cardinal/Basic): mem_range_of_le_lift → mem_range_lift_of_le (#17970) This was a typo I made in #16958 only a week ago or so, so hopefully this doesn't warrant deprecations.

Estimated changes