Skip to content

Rename auth_both_frac_op into auth_both_op

Simon Friis Vindum requested to merge simonfv/iris:rename-auth-lemma into master

Removes auth_both_op and renames auth_both_frac_op into auth_both_op as mentioned here.

Merge request reports