mathlib3
221ec606 - feat(ring_theory/ideal): ideals in product rings (#4431)

Commit

5 years ago

feat(ring_theory/ideal): ideals in product rings (#4431)

References

#4925 - Make prime-avoidance branch build

Author

TwoFX

TwoFX

Parents

Loading