feat(ring_theory/ideal): Power of a spanning set is a spanning set (#10656)
feat(ring_theory/ideal): Power of a spanning set is a spanning set (#10656)




Co-authored-by: erd1 <d3ae42a844f718b8eb13de54d3646fd3fcdf4766@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib