def is_c11 {E : Type u} [NormedAddCommGroup E] [NormedSpace ℝ E] (f : E → ℝ) : Prop

The notation C^{1,1} is represented by the existence of some global smoothness parameter L ≥ 0.