f2cap: fix admits in list lemmas