Theorem CategoryTheory.Limits.coequalizerComparison_map_desc

Modification history