mathlib3
013630ad - defining the cartesian monoidal structure on Mon

Commit

5 years ago

defining the cartesian monoidal structure on Mon

References

Author

mattearnshaw

mattearnshaw

Parents

Loading