Theorem CategoryTheory.Limits.Cones.cone_iso_of_hom_iso

Modification history