Skip to content

Lemmas about subst_map on closed expressions

Dan Frumin requested to merge dfrumin/iris-coq:subst_map_closed into master

Merge request reports