Def category_theory.presheaf.is_sheaf.amalgamate

Modification history