Theorem CategoryTheory.Limits.eq_of_mono_cofork_π

Modification history