Def CategoryTheory.Limits.isEqualizerCompMono

Modification history