Theorem CategoryTheory.equivEssImageOfReflective_map_counitIso_app_inv

Modification history