src/HOL/Archimedean_Field.thy
changeset 62379 340738057c8c
parent 62348 9a5f43dac883
child 62623 dbc62f86a1a9