Theorem CategoryTheory.unit_obj_eq_map_unit

Modification history