Skip to content

add dom_insert_lookup

Ralf Jungrequested to merge
ralf/dom_insert_lookup into master

I was just looking for this lemma and couldn't find it, so I figured it might be good to add. :)

Merge request reports