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