monoidal): split file (#19034)

Commit

2 years ago

chore(algebra/category/Module/monoidal): split file (#19034) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents