kdrag.theories.logic.axioms.beta_conv

kdrag.theories.logic.axioms.beta_conv(lam: QuantifierRef, *args) → Proof

Beta conversion for lambda calculus.