Canonical Surjection
- Canonical Surjection #Card
- The map $f_E : X \to X/E$ defined by $f_E(x) := Ex$.
The map $f_E : X \to X/E$ defined by $f_E(x) := Ex$.
Quotient.mk r : X → Quotient r / 本ノート prop_I_2_1_ker_mk
The map $f_E : X \to X/E$ defined by $f_E(x) := Ex$.
Quotient.mk r : X → Quotient r / 本ノート prop_I_2_1_ker_mk