Def CategoryTheory.Limits.IsLimit.ofFaithful

Modification history