Theorem CategoryTheory.Sheaf.cartesianMonoidalCategoryFst_val

Modification history