Theorem card_derangements_fin_eq_numDerangements

Modification history