src/HOL/Number_Theory/Residues.thy
changeset 37765 26bdfb7b680b
parent 36350 bc7982c54e37
child 41541 1fa4725c4656