Theorem CategoryTheory.prod_map_pre_app_comp_ev

Modification history