def apply(self): from axiom.algebra.sum.to.add.doit import doit return Equivalent(self, doit(Any, self))
def apply(self): from axiom.algebra.sum.to.add.doit import doit return Equal(self, doit(Cup, self))
def apply(self): from axiom.algebra.sum.to.add.doit import doit return Equivalent(self, doit(All, self), evaluate=False)