Skip to content

Fix name, `Later_inj` -> `Next_inj`.

Dan Fruminrequested to merge
dfrumin/iris-coq:master into master

This is more consistent in how the _inj Instances are named

Merge request reports