Theorem CategoryTheory.Sheaf.tensorProd_isSheaf

Modification history