src/HOL/Number_Theory/Residues.thy
changeset 35644 d20cf282342e
parent 35416 d8d7d1b785af
child 36350 bc7982c54e37