Skip to content
GitLab

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

Merged Dan Frumin requested to merge dfrumin/iris-coq:master into master

This is more consistent in how the _inj Instances are named