Theorem CategoryTheory.Presieve.isSheafFor_arrows_iff

Modification history