Theorem CategoryTheory.GrothendieckTopology.Subcanonical.isSheaf_of_isRepresentable

Modification history