Theorem CategoryTheory.Limits.IsInitial.to_self

Modification history