Def derangements.at_most_one_fixed_point_equiv_sum_derangements

Modification history