Theorem CategoryTheory.Limits.coequalizer.existsUnique

Modification history