Theorem CategoryTheory.ReflQuiv.adj.counit.comp_app_eq

Modification history