Theorem CategoryTheory.Adjunction.counit_naturality

Modification history