Def CategoryTheory.EqualizerSecondObjIso

Modification history