Theorem CategoryTheory.Arrow.square_from_iso_invert

Modification history