Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Rename `Qp_plus` → `Qp_add`, `Qp_mult` → `Qp_mul`, and `Qp_minus` → `Qp_sub`.
· a30f6ade
Robbert Krebbers
authored
Oct 06, 2020
a30f6ade