Def category_theory.monoidal_closed.of_equiv

Modification history