Theorem QuotientRing.isQuotientMap_coe_coe

Modification history

2024-10-23 02:43
Mathlib/Topology/Algebra/Ring/Ideal.lean
chore: Rename `QuotientMap` to `IsQuotientMap` (#18062) …
Added QuotientRing.isQuotientMap_coe_coeView on Github →