Theorem CategoryTheory.Sheaf.isSheaf_of_representable

Modification history