src/HOL/Algebra/Group_Action.thy
changeset 68551 b680e74eb6f2
parent 68517 6b5f15387353
child 68582 b9b9e2985878