Theorem CategoryTheory.Presieve.isSheafFor_iso

Modification history