Def CategoryTheory.Limits.wideCoequalizerIsWideCoequalizer

Modification history