src/HOL/Fields.thy
changeset 51692 ecd34f863242
parent 44921 58eef4843641
child 52435 6646bb548c6b