src/HOL/Algebra/Zassenhaus.thy
changeset 68551 b680e74eb6f2
parent 68466 3d8241f4198b
child 68555 22d51874f37d