Theorem Nat.cauchy_induction

Modification history