Example #1
0
def apply(given):
    assert given.is_Less
    return Equivalent(given, simplify_common_terms(given))
Example #2
0
def apply(given):
    assert given.is_GreaterEqual
    return Equivalent(given, simplify_common_terms(given))