Skip to content
GitLab

add dom_insert_lookup

Merged Ralf Jung requested 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