src/HOL/NumberTheory/WilsonBij.thy
changeset 15140 322485b816ac
parent 14738 83f1a514dcb4
child 15392 290bc97038c7