Theorem CategoryTheory.Limits.IsLimit.ofConeEquiv_symm_apply_desc

Modification history