Def CategoryTheory.Limits.splitMonoOfEqualizer

Modification history