mathlib
22ddf9a3 - feat(ring_theory/ideal): `map f (I^n) = (map f I)^n` (#12370)

Commit

3 years ago

feat(ring_theory/ideal): `map f (I^n) = (map f I)^n` (#12370)

Author

Vierkantor

Vierkantor

Parents

Loading