Theorem QuotientRing.quotientMap_coe_coe

Modification history

2024-10-23 02:43
Mathlib/Topology/Algebra/Ring/Ideal.lean
chore: Rename `QuotientMap` to `IsQuotientMap` (#18062) …
Deleted QuotientRing.quotientMap_coe_coeView on Github →
2023-03-09 18:34
Mathlib/Topology/Algebra/Ring/Ideal.lean
feat: port Topology.Algebra.Ring.Ideal (#2754)
Added QuotientRing.quotientMap_coe_coeView on Github →