Theorem CategoryTheory.Adjunction.inv_counit_map

Modification history