src/HOL/OrderedGroup.thy
changeset 27123 11fcdd5897dd
parent 26480 544cef16045b
child 27250 7eef2b183032