Theorem CategoryTheory.induced_add_inv_app_obj

Modification history