Theorem CategoryTheory.inv_map_unit

Modification history