`BookProof.ChapterA3.differentiable_det` : Differentiable ℝ (Matrix.det : Matrix (Fin n) (Fin n) ℝ → ℝ)

Initializing...

`BookProof.ChapterA3.differentiable_det` : Differentiable ℝ (Matrix.det : Matrix (Fin n) (Fin n) ℝ → ℝ) · Prove2Me