List of theorems

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