Merge branch 'lemma-not-instance' into 'master'
Turn local instances ne_proper and ne_proper_2 into lemmas See merge request iris/iris!454
Loading
Please register or sign in to comment
Turn local instances ne_proper and ne_proper_2 into lemmas See merge request iris/iris!454