kdrag.kernel.beta_conv

kdrag.kernel.beta_conv(lam: QuantifierRef, *args) → Proof

Beta conversion for lambda calculus.

Parameters:

lam (QuantifierRef)

Return type:

Proof