products): add module docstring (#8212)

Commit

4 years ago

docs(category_theory/limits/shapes/products): add module docstring (#8212) Also resolves some TODOs.

Author

b-mehta

Parents