Theorem CategoryTheory.Limits.ι_comp_coequalizerComparison

Modification history