rename Z2Nat_inj_div and Z2Nat_inj_mod (!161) · Merge requests · Iris / stdpp

Michael Sammler requested to merge msammler/rename_Nat2Z_inj_div into master May 12, 2020

This MR renames Z2Nat_inj_div, Z2Nat_inj_mod, Nat2Z_inj_div and Nat2Z_inj_mod to follow the naming conventions of Z2Nat and Nat2Z. See !136 (comment 49866)

Should I mention iris-users here already or only if the MR is merged?

rename Z2Nat_inj_div and Z2Nat_inj_mod

Merge request reports