Commit 2024-01-09 08:14 89246136

View on Github →

chore: Rearrange arguments to Nat.multinomial_insert (#9562) and a few other multinomial lemmas

Estimated changes

modified theorem Nat.multinomial_cons
modified theorem Nat.multinomial_insert
modified theorem Nat.multinomial_singleton