src/HOL/Library/Power_By_Squaring.thy
5 months ago Manuel Eberl 2019-02-04 Exponentiation by squaring, fast modular exponentiation