Theorem CategoryTheory.equivEssImageOfReflective_map_counitIso_app_hom

Modification history