Theorem Nat.diag_induction

Modification history