Theorem CategoryTheory.isIso_prod_iff

Modification history