Theorem Ideal.map_evalRingHom_pi

Modification history

2025-09-02 15:20
Mathlib/RingTheory/Ideal/Maps.lean
feat(Algebra): principal ideal finite product rings (#27900) …
Added Ideal.map_evalRingHom_piView on Github →