List of theorems

List of theorems in peano_new/arithmetic/reals/common2.gh: