Mean value theorem

Formal statement

Proof

Cauchy's mean value theorem

Proof of Cauchy's mean value theorem

Generalization for determinants