List of theorems

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