Commit 2023-10-27 06:11 e3f29f25

View on Github →

feat: inequalities of decreasing lists (#7896)

Estimated changes

added theorem List.Chain'.cons_of_le