More on Divisibility Criteria for Selected Primes

Adam Naumowicz, Radoslaw Piliszek. More on Divisibility Criteria for Selected Primes. Formalized Mathematics, 21(2):87-94, 2013. [doi]

Abstract

Abstract is missing.