avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
section \<open>Comprehensive number theory\<close>
theory Number_Theory
imports
Fib
Residues
Eratosthenes
Mod_Exp
Quadratic_Reciprocity
Pocklington
Prime_Powers
Residue_Primitive_Roots
begin
end