[Merged by Bors] - fix(FieldTheory/Perfect): move one/mul/pow into namespace#37957

wwylele wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

wwylele:perfect-ring-namespacewwylele/mathlib4:perfect-ring-namespaceCopy head branch name to clipboard