Theorem CategoryTheory.Limits.IsInitial.mono_from

Modification history