Theorem CategoryTheory.Limits.IsLimit.ofConeEquiv_apply_desc

Modification history