Def CategoryTheory.MapToEqualizer

Modification history