Theorem CategoryTheory.preservesLimitIso_hom_π

Modification history