Def CategoryTheory.Equalizer.Presieve.firstMap

Modification history