Theorem Quotient.map_surjective

Modification history

2026-02-17 20:49
Mathlib/Data/Quot.lean
feat(Topology/Connected/PathConnected): relate `ZerothHomotopy` and `ConnectedComponents` (#34244)
Added Quotient.map_surjectiveView on Github →