Def CategoryTheory.Limits.isInitialBot

Modification history