∀ {α : Type u_2} {β : Type u_3} {C : β → Type u_7} [inst : (b : β) → SemilatticeSup (C b)]
  [inst_1 : (b : β) → OrderBot (C b)] (s : Finset α) (f : α → (b : β) → C b) (b : β), (s.sup fun a => f a b) = s.sup f b