kdrag.theories.real.arb.tan_bnd

kdrag.theories.real.arb.tan_bnd(x: object) → Proof

This is probably the purest form of the information that arb offers. In principle, larger scale rules can be derived from this.

Parameters:

x (object)

Return type:

Proof