src/HOL/Fields.thy
changeset 39072 1030b1a166ef
parent 36774 9e444b09fbef
child 42904 4aedcff42de6