Function euler_method_error_ty 

pub fn euler_method_error_ty() -> Expr

EulerMethodError : ∀ (f : Real → Real → Real) (h : Real), Prop Euler method global truncation error is O(h).