`BookProof.ChapterBijectionProbability.card_fun_fin` (n : ℕ) : Fintype.card (Fin n → Fin n) = n ^ n

Initializing...

`BookProof.ChapterBijectionProbability.card_fun_fin` (n : ℕ) : Fintype.card (Fin n → Fin n) = n ^ n · Prove2Me