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