-
Simon Friis Vindum authored
Add IdempP instances for min_nat and max_nat. Move additional numbers related lemmas and instances into the numbers file.
e68b2730
Add IdempP instances for min_nat and max_nat. Move additional numbers related lemmas and instances into the numbers file.