mathlib
508fc181 - feat(ring_theory/ideal): Power of a spanning set is a spanning set (#10656)

Commit

4 years ago

feat(ring_theory/ideal): Power of a spanning set is a spanning set (#10656) Co-authored-by: erd1 <the.erd.one@gmail.com>

Author

erdOne

Parents