Theorem CategoryTheory.uliftYonedaEquiv_symm_map

Modification history