Theorem Ideal.comap_coe

Modification history

2024-10-26 11:58
Mathlib/RingTheory/Ideal/Maps.lean
feat: miscellaneous results about inertia degree (#18111) …
Added Ideal.comap_coeView on Github →