Theorem CategoryTheory.Sheaf.isSheaf_of_isRepresentable

Modification history