Theorem CategoryTheory.currying₃_unitIso_inv_app_app_app_app

Modification history