Def derangements.derangements_option_equiv_sigma_at_most_one_fixed_point

Modification history