List of theorems

List of theorems in peano_new/arithmetic/naturals/common.gh: