src/HOL/OrderedGroup.thy
changeset 33439 f5d95787224f
parent 33364 2bd12592c5e8
child 34146 14595e0c27e8