Theorem CategoryTheory.Limits.IsLimit.conePointUniqueUpToIso_inv_comp

Modification history