Theorem CategoryTheory.extensiveTopology.isSheaf_yoneda_obj

Modification history