0x67a4b6b6 February 6, 2025 The composition of two quotient maps is a quotient map. Proof This is an immediate consequence of (0x67a4b655) .