Theorem CategoryTheory.Presieve.isSheafFor_of_preservesProduct

Modification history