Def CategoryTheory.Limits.piConstAdj

Modification history