mathlib
e1bfd820 - Merge branch 'monoidal_of_has_finite_products' into enriched

Commit

6 years ago

Merge branch 'monoidal_of_has_finite_products' into enriched

Author

kim-em

kim-em

Parents

Loading