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