Theorem CategoryTheory.Sheaf.Subcanonical.isSheaf_of_isRepresentable

Modification history