Theorem CategoryTheory.Arrow.isIso_of_isIso_left_of_isIso_right

Modification history