Def CategoryTheory.Equalizer.forkMap

Modification history