Def CategoryTheory.tensoringRightMonoidal

Modification history