Theorem CategoryTheory.Sheaf.cartesianMonoidalCategoryLift_val

Modification history