Def category_theory.presheaf.is_limit_of_is_sheaf

Modification history