Theorem CategoryTheory.isIso_left_of_isIso_biprod_map

Modification history