Def category_theory.monoidal_single_obj.End_monoidal_star_functor

Modification history