Theorem CategoryTheory.preservesLimitsIso_inv_π

Modification history