Move lemmas to the right files

2 jobs for ci/cleanup in 20 minutes and 59 seconds (queued for 4 seconds)