Theorem CategoryTheory.uliftYonedaEquiv_naturality

Modification history