Theorem CategoryTheory.Limits.IsLimit.homEquiv_symm_naturality

Modification history