Theorem CategoryTheory.Limits.IsInitial.to_comp

Modification history