Theorem CategoryTheory.Presieve.isSheaf_of_yoneda

Modification history