Theorem CategoryTheory.NatIso.cancel_natIso_inv_right

Modification history