class_docstr: Binary predicate for $<=$.
  
  The purpose of this class is to provide the instance which represent
  the "<=" predicate in order to allow the logical inference.
  This class must remain internal to assumptions module and user must
  use :obj:`~.Le()` instead to construct the equality expression.
  
  Evaluating this predicate to ``True`` or ``False`` is done by
  :func:`~.core.relational.is_le()`
  
  Examples
  ========
  
  >>> from sympy import ask, Q
  >>> Q.le(0, 0)
  Q.le(0, 0)
  >>> ask(_)
  True
  
  See Also
  ========
  
  sympy.core.relational.Le
class_docstr_tok: ["Binary","predicate","for","$","<","=","$",".","The","purpose","of","this","class","is","to","provide","the","instance","which","represent","the","``","<","=","''","predicate","in","order","to","allow","the","logical","inference",".","This","class","must","remain","internal","to","assumptions","module","and","user","must","use",":","obj",":","`","~.Le","(",")","`","instead","to","construct","the","equality","expression",".","Evaluating","this","predicate","to","``","True","``","or","``","False","``","is","done","by",":","func",":","`","~.core.relational.is_le","(",")","`","Examples","========",">",">",">","from","sympy","import","ask",",","Q",">",">",">","Q.le","(","0",",","0",")","Q.le","(","0",",","0",")",">",">",">","ask","(","_",")","True","See","Also","========","sympy.core.relational.Le"]
code: def eval(self, args, assumptions=True):
      if assumptions == True:
          # default assumptions for is_le is None
          assumptions = None
      return is_le(*args, assumptions)
  
imports: from sympy.assumptions import Q
  from sympy.core.relational import is_eq, is_neq, is_gt, is_ge, is_lt, is_le
  from .binrel import BinaryRelation
label_desc: Use image node_id 3 for calling the LessThanPredicate obj's underlying member method code with example usage: obj.eval(args, assumptions) and returns: is_le