Def CategoryTheory.Equalizer.firstObjEqFamily

Modification history