kdrag.theories.real.arb.arb_bnd

kdrag.theories.real.arb.arb_bnd(arbf, z3f)

>>> kd.prove(real.cos(0) == 1, by=[cos_bnd(arb(0))])
|- cos(0) == 1