Def CategoryTheory.Limits.isCoequalizerEpiComp

Modification history