[Merged by Bors] - feat: add Ideal.IsPrincipal.of_isPrincipal_pow_of_coprime#39982

riccardobrasca wants to merge 18 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

riccardobrasca:principal-power-classgroupriccardobrasca/mathlib4:principal-power-classgroupCopy head branch name to clipboard