Def CategoryTheory.tensorClosed

Modification history