Theorem CategoryTheory.GrothendieckTopology.Subcanonical.of_isSheaf_yoneda_obj

Modification history