Def Nat.two_step_induction

Modification history