∀ {G : Type u_7} [inst : CommGroup G] {A : Type u_8} [inst_1 : DecidableEq A] (l : List A) (f g : A → G) (a : A),
  (List.map (fun x => if x = a then f x else g x) l).prod = (f a / g a) ^ List.count a l * (List.map g l).prod