Def category_theory.tensor_closed

Modification history