Renamed and added lemmas for setD#3

Brixfoly wants to merge 4 commits into

masterBrixfoly/analysis:masterfrom

set_lemmasBrixfoly/analysis:set_lemmasCopy head branch name to clipboard