Add _1, _2 lemmas for not_elem_of_dom and lookup_union_None

Split from !394 (merged)

assigned to @msammler

mentioned in merge request !394 (merged)

enabled an automatic merge when the pipeline for 05c58b27 succeeds

Thanks.

merged

mentioned in commit f9ee8400