∀ (α : Type u_1) [inst : DecidableEq α] [inst_1 : Fintype α] (m : Multiset ℕ),
  {g | g.cycleType = m}.card *
      ((Fintype.card α - m.sum).factorial * m.prod * ∏ n ∈ m.toFinset, (Multiset.count n m).factorial) =
    if m.sum ≤ Fintype.card α ∧ ∀ a ∈ m, 2 ≤ a then (Fintype.card α).factorial else 0