Rename _plus
/_minus
into _add
/_sub
to be consistent with Coq's current convention for numbers.
Following the discussion at iris!821 (merged)
Rename _plus
/_minus
into _add
/_sub
to be consistent with Coq's current convention for numbers.
Following the discussion at iris!821 (merged)