src/HOL/OrderedGroup.thy
changeset 31001 7e6ffd8f51a9
parent 30691 0047f57f6669
child 31016 e1309df633c6