src/HOL/Archimedean_Field.thy
changeset 39072 1030b1a166ef
parent 37765 26bdfb7b680b
child 41959 b460124855b8