Theorem CategoryTheory.Presieve.isSheafFor_arrows_iff_pullbacks

Modification history