Commit 2025-07-26 22:00 aaaec451

View on Github →

feat(Order/Interval/Finset/Nat): (List.range x).toFinset = Finset.range x (#27480)

Estimated changes

added theorem List.toFinset_range