Theorem CategoryTheory.Limits.HasLimit.isoOfEquivalence_hom_π

Modification history