src/HOL/Ring_and_Field.thy
changeset 33963 977b94b64905
parent 33676 802f5e233e48
child 34146 14595e0c27e8