Theorem CategoryTheory.isIso_right_of_isIso_biprod_map

Modification history