`BookProof.ChapterBijectionProbability.bijProb_eq_card_ratio` (n : ℕ) : bijProb n = (Fintype.card {f : Fin n → Fin n // Function.Bijective f} : ℝ) / (Fintype.card (Fin n → Fin n) :

Initializing...

`BookProof.ChapterBijectionProbability.bijProb_eq_card_ratio` (n : ℕ) : bijProb n = (Fintype.card {f : Fin n → Fin n // Function.Bijective f} : ℝ) / (Fintype.card (Fin n → Fin n) : · Prove2Me