natural package:natural-induction

Induction over natural numbers Induction over natural numbers