示例#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)