Add lookup lemmas for partial alter and commuting lemmas for alter
Related merge request !399 to merge ci/msammler/map_commuting_lemmas
merge request
2 jobs
5 minutes 57 seconds, queued for 3 seconds