Commit 2024-08-01 13:36 1308f959

View on Github →

feat: Upper bound on multinomial coefficients with even exponent (#15338) From LeanAPAP

Estimated changes