Theorem CategoryTheory.GrothendieckTopology.isIso_toPlus_of_isSheaf

Modification history