MDLD/structure of a field

Start=structure of a field Target=Algebra/Field/Direct/Definition