Def CategoryTheory.Limits.wideEqualizerIsWideEqualizer

Modification history