src/HOL/Groups.thy
changeset 45049 13efaee97111
parent 44848 f4d0b060c7ca
child 45294 3c5d3d286055