Theorem CategoryTheory.yonedaEquiv_symm_map

Modification history