Theorem: rcm10 (Ray/Hartogs/FubiniBall.lean)

State before:
x : ℝ × ℝ
⊢ rcmMatrix x 1 0 = x.2.sin
Tactic:
simp [rcmMatrix, rcmDeriv, toMatrix_apply, d1, d2]
State after:
no goals