Theorem CategoryTheory.Limits.hasEqualizer_comp_mono

Modification history