Skip to content

na_invariants: deduplicate proof of fresh_inv_name

Paolo G. Giarrusso requested to merge Blaisorblade/iris:na_invariants_tweak into master

Haven't found other uses of nclose_infinite. Noticed by chance while reading the proof.

Edited by Paolo G. Giarrusso

Merge request reports