pub fn consistent_linearization_ty() -> Expr
ConsistentLinearization : BilinearForm → H1Space → BilinearForm
The consistent linearization of a nonlinear bilinear form at u: Da(u)[h,v] = lim_{ε→0} (a(u + εh, v) - a(u,v))/ε.