The number of maps `Fin Q → Option (Fin r)` with exactly `m i` points of colour `i` is `Q (Q-1) ⋯ (Q

Initializing...

The number of maps `Fin Q → Option (Fin r)` with exactly `m i` points of colour `i` is `Q (Q-1) ⋯ (Q - ∑ m + 1) / ∏ (m i)!`. · Prove2Me