Def CategoryTheory.Limits.Concrete.multiequalizerEquivAux

Modification history