kdrag.theories.real.arb.bound_ax

kdrag.theories.real.arb.bound_ax(e: ArithRef) → Proof
Parameters:

e (ArithRef)

Return type:

Proof