Theorem CategoryTheory.Arrow.isIso_of_iso_left_of_isIso_right

Modification history