Commit 2024-06-03 08:09 b70b6b2a

View on Github →

chore: Rename Nat.multinomial_nil to Nat.multinomial_empty (#13437)

Estimated changes

added theorem Nat.multinomial_empty
deleted theorem Nat.multinomial_nil