Theorem CategoryTheory.Limits.eq_of_epi_equalizer

Modification history