Theorem CategoryTheory.Arrow.square_to_iso_invert

Modification history