mathlib

ce7f1a32 - cartesian monoidal structure on Mon