#273 has removed the proof that CompHaus is epi-regular. The problem is that the classification of its epimorphisms depends on it ("see the proof above that $CompHaus$ is epi-regular"). I think we need to bring it back.
It is unfortunate that these kind of dependencies are not formally tracked right now. cf #301
(Pasted from an email notification of a comment on that PR - creating an issue so we don't lose track of it.)
#273 has removed the proof that CompHaus is epi-regular. The problem is that the classification of its epimorphisms depends on it ("see the proof above that$CompHaus$ is epi-regular"). I think we need to bring it back.
It is unfortunate that these kind of dependencies are not formally tracked right now. cf #301
(Pasted from an email notification of a comment on that PR - creating an issue so we don't lose track of it.)