List of theorems

List of theorems in peano_new/predicate/predicate.gh: