Skip to content

Add lemmas about well-formedness of detachOpIfAttached

557c9f4
Select commit
Loading
Failed to load commit list.
Merged

Add lemmas about well-formedness of detachOpIfAttached #80

Add lemmas about well-formedness of detachOpIfAttached
557c9f4
Select commit
Loading
Failed to load commit list.