Theorem CategoryTheory.Sheaf.tensorUnit_isSheaf

Modification history