∀ {𝕜 : Type u_1} {E : Type u_2} {β : Type u_3} [inst : Semiring 𝕜] [inst_1 : PartialOrder 𝕜] [inst_2 : AddCommMonoid E]
  [inst_3 : SMul 𝕜 E] {s : Set E} {f g : E → β} [inst_4 : SemilatticeInf β],
  QuasiconcaveOn 𝕜 s f → QuasiconcaveOn 𝕜 s g → QuasiconcaveOn 𝕜 s (f ⊓ g)