src/HOL/NumberTheory/IntFact.thy
changeset 15140 322485b816ac
parent 14271 8ed6989228bb
child 15392 290bc97038c7