Theorem CategoryTheory.Sheaf.isSheaf_yoneda_obj

Modification history