Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
make Z.of_nat not a coercion inside the prelude implementation
· 91fae00c
Ralf Jung
authored
Apr 29, 2021
91fae00c