add dom_insert_lookup
All threads resolved!
All threads resolved!
Compare changes
+ 5
− 0
@@ -89,6 +89,8 @@ Proof.
@@ -171,6 +173,9 @@ Section leibniz.
I was just looking for this lemma and couldn't find it, so I figured it might be good to add. :)