Theorem CompHaus.epi_iff_surjective

Modification history

2023-04-27 23:18
Mathlib/Topology/Category/CompHaus/Basic.lean
feat: Port Topology.Category.CompHaus.Basic (#3688) …
Added CompHaus.epi_iff_surjectiveView on Github →