Theorem: circleParam.arg_θ.HasAdjDiff_rule (test/prob_ad/circle_discont_2d.lean)

State before:
R : Type
inst✝² : RealScalar R
inst✝¹ : MeasureSpace R
inst✝ : PlainDataType R
⊢ HasAdjDiff R circleParam
Tactic:
unfold circleParam
State after:
R : Type
inst✝² : RealScalar R
inst✝¹ : MeasureSpace R
inst✝ : PlainDataType R
⊢ HasAdjDiff R fun θ => (cos θ, sin θ)

State before:
R : Type
inst✝² : RealScalar R
inst✝¹ : MeasureSpace R
inst✝ : PlainDataType R
⊢ HasAdjDiff R fun θ => (cos θ, sin θ)
Tactic:
fun_prop
State after:
no goals