src/HOL/Number_Theory/Residue_Primitive_Roots.thy
changeset 78659 b5f3d1051b13
parent 74362 0135a0c77b64