Def CategoryTheory.Limits.IsColimit.ofFaithful

Modification history