Theorem CategoryTheory.Arrow.inv_right

Modification history