Commit 2024-09-05 08:22 f91e7897

View on Github →

feat(Order/Max): basic IsMin / IsBot lemmas (#16453)

Estimated changes