Ejemplo n.º 1
0
def apply(self):
    from axiom.algebra.sum.to.add.doit import doit
    return Equivalent(self, doit(Any, self))
Ejemplo n.º 2
0
def apply(self):
    from axiom.algebra.sum.to.add.doit import doit
    return Equal(self, doit(Cup, self))
Ejemplo n.º 3
0
def apply(self):
    from axiom.algebra.sum.to.add.doit import doit
    return Equivalent(self, doit(All, self), evaluate=False)