Skip to content

Turn local instances ne_proper and ne_proper_2 into lemmas

Paolo G. Giarrusso requested to merge Blaisorblade/iris:lemma-not-instance into master

Merge request reports