Theorem CategoryTheory.preservesLimitsIso_hom_π

Modification history