clean admits in pgtable_lemmas.v

1 job for ci/case-mt7601u in 15 minutes and 32 seconds (queued for 7 seconds)