src/HOL/Algebra/Sylow.thy
changeset 66831 29ea2b900a05
parent 64914 51f015bd4565
child 67399 eab6ce8368fa