Add _1, _2 lemmas for not_elem_of_dom and lookup_union_None
Related merge request !405 to merge msammler/more_1_2_lemmas
merge request
2 jobs
6 minutes 40 seconds, queued for 412 seconds