Theorem CategoryTheory.isIso_of_coyoneda_map_bijective

Modification history