Def CategoryTheory.Limits.sigmaConstAdj

Modification history