def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_back import absorb_back
return absorb_back(Product,
Greater,
*imply,
criteria=lambda cond: cond.rhs > 0)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_back import absorb_back
return absorb_back(Cup, Supset, *imply)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_back import absorb_back
return absorb_back(Product, LessEqual, *imply, criteria=lambda cond: cond.lhs >= 0)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_back import absorb_back
return absorb_back(Sum, Less, *imply)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_back import absorb_back
return absorb_back(Product, Equal, *imply)