Theorem CategoryTheory.Sheaf.Subcanonical.of_yoneda_isSheaf

Modification history