Theorem CategoryTheory.Sheaf.cartesianMonoidalCategoryWhiskerLeft_val

Modification history