Theorem CategoryTheory.Limits.InitialMonoClass.of_isInitial

Modification history