Theorem CategoryTheory.coev_app_comp_pre_app

Modification history