List of theorems

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