renaming, and namespaces - SemanticDiff

Commit

6 years ago

renaming, and namespaces

References

#1002 - feat(category_theory/monoidal): monoidal categories, monoidal functors

Author

Scott Morrison

Parents

Loading