Theorem Ideal.quotientEquivAlg_symm

Modification history

2025-11-20 14:55
Mathlib/RingTheory/Ideal/Quotient/Operations.lean
feat(RingTheory/Etale): standard etale maps (#30867)
Added Ideal.quotientEquivAlg_symmView on Github →