mathlib
51a845f0 - feat(ring_theory/ideal/*): add more ideal.span lemmas (#18079)

Commit

2 years ago

feat(ring_theory/ideal/*): add more ideal.span lemmas (#18079)

Author

Multramate

Multramate

Parents

Loading