-
Robbert Krebbers authored
This follows the standard naming for Coq numbers, and avoids one using the old lemma to break abstraction accidentally.
9b68ea94
This follows the standard naming for Coq numbers, and avoids one using the old lemma to break abstraction accidentally.