src/HOL/Computational_Algebra/Squarefree.thy
2017-07-15 eberlm 2017-07-15 More material on powers for HOL-Computational_Algebra/HOL-Number_Theory