Theorem CategoryTheory.Limits.InitialMonoClass.of_initial

Modification history