type of ap_f in Lemma 2.2.1
Errata for 83d02ba, unmarked
mark errata for 83d02ba