Documentation

Mathlib.AlgebraicTopology.SimplicialSet.RegularEpi

The category of simplicial sets is a regular epi category #

source
instance SSet.instIsRegularEpiCategory :
CategoryTheory.IsRegularEpiCategory SSet