Theorem CategoryTheory.Sheaf.cartesianMonoidalCategorySnd_val

Modification history