Theorem CategoryTheory.coyonedaEquiv_comp

Modification history