`BookProof.ChapterEntropy.card_selfMaps` (n : ℕ) : Fintype.card (Fin n → Fin n) = n ^ n

Initializing...

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