Theorem CategoryTheory.ι_preservesColimitsIso_hom

Modification history