Theorem CategoryTheory.coyonedaEquiv_symm_map

Modification history