Commit 2023-10-24 21:58 1a79f4b2

View on Github →

feat: gt versions of some lemmas about sorted lists and finsets (#7895)

Estimated changes

added theorem Finset.sort_sorted_gt