Theorem CategoryTheory.Limits.InitialMonoClass.of_isTerminal

Modification history