Def CategoryTheory.Equalizer.Presieve.SecondObj

Modification history