src/HOL/Algebra/Group.thy
changeset 67087 733017b19de9
parent 66579 2db3fe23fdaf
child 67091 1393c2340eec
equal deleted inserted replaced
67086:59d07a95be0e 67087:733017b19de9