Commit 2024-12-05 08:47 7392ce64

View on Github →

feat: add mul_min and min_mul (#18926)

Estimated changes

modified theorem max_mul
added theorem min_mul
added theorem mul_min