Def CategoryTheory.Equalizer.Presieve.Arrows.secondMap

Modification history