Theorem CategoryTheory.Limits.InitialMonoClass.of_terminal

Modification history