Theorem CategoryTheory.presheafHom_map_app_op_mk_id

Modification history