Theorem CategoryTheory.Sheaf.cartesianMonoidalCategoryWhiskerRight_val

Modification history