Def category_theory.presheaf.is_sheaf

Modification history