Theorem CategoryTheory.NatIso.cancel_natIso_hom_right

Modification history