Def category_theory.presheaf.is_sheaf'

Modification history