List of theorems

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