Theorem Fin.induction_succ

Modification history