Theorem Ideal.comap_idₐ

Modification history

2025-03-31 13:41
Mathlib/RingTheory/Ideal/Maps.lean
feat(RingTheory/Presentation): reindex presentations (#21260) …
Added Ideal.comap_idₐView on Github →