rigid): noting future work (#12620)

Commit

3 years ago

doc(category_theory/monoidal/rigid): noting future work (#12620) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents