src/HOL/Fields.thy
changeset 81507 08574da77b4a
parent 80932 261cd8722677