Theorem CategoryTheory.ComposableArrows.map'_inv_eq_inv_map'

Modification history