Theorem CategoryTheory.Presieve.isSheafFor_singleton_iso

Modification history