Theorem CategoryTheory.Adjunction.unit_naturality

Modification history