Theorem: Real.inverse_eq_inv (CvxLean/Lib/Math/CovarianceEstimation.lean)

State before:
a : ℝ
⊢ Ring.inverse a = a⁻¹
Tactic:
simp
State after:
no goals