mathlib3
chore(category_theory): speed-up monoidal.of_has_finite_products
#1616
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
Loading