Theorem CategoryTheory.Limits.IsLimit.homEquiv_symm_π_app

Modification history