Theorem CategoryTheory.Limits.eq_of_epi_fork_ι

Modification history