Def CategoryTheory.Equalizer.FirstObj

Modification history