src/HOL/Number_Theory/Residues.thy
changeset 71751 abf3e80bd815
parent 71252 c5914bdd896b
child 75963 884dbbc8e1b3
equal deleted inserted replaced
71750:f39b1afe8845 71751:abf3e80bd815