src/HOL/Fields.thy
changeset 47988 e4b69e10b990
parent 44921 58eef4843641
child 52435 6646bb548c6b