src/HOL/Groups.thy
changeset 66787 64b47495676d
parent 64290 fb5c74a58796
child 69216 1a52baa70aed