Theorem CategoryTheory.currying₃_unitIso_hom_app_app_app_app

Modification history