src/HOL/Groups.thy
changeset 55058 4e700eb471d4
parent 54868 bab6cade3cc5
child 56950 c49edf06f8e4
equal deleted inserted replaced
55057:6b0fcbeebaba 55058:4e700eb471d4