Open WIKI
Home
Sources
About
Contacts
⯈
☰
Canonical surjection
quotient mapping
is a
homomorphism
.