kdrag.theories.real.arb.flint_bnd

kdrag.theories.real.arb.flint_bnd(t: ArithRef, env) → Proof

Parameters:

t (ArithRef)

Return type:

Proof