src/HOL/Archimedean_Field.thy
changeset 47389 e8552cba702d
parent 47307 5e5ca36692b3
child 47592 a6b76247534d