Def category_theory.presieve.is_sheaf

Modification history