mathlib

05038da0 - feat(ring_theory/algebra): some lemmas about numerals in algebras (#4327)

feat(ring_theory/algebra): some lemmas about numerals in algebras (#4327) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>