Theorem CategoryTheory.NatIso.app_hom

Modification history