def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
return absorb_front(Product,
Greater,
*imply,
criteria=lambda cond: cond.rhs > 0)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
return absorb_front(Cup, Subset, *imply)
def apply(*imply):
from axiom.algebra.eq.eq.imply.eq.sum.push_front import absorb_front
return absorb_front(Sum, GreaterEqual, *imply)