Def category_theory.presheaf.cones_equiv_sieve_compatible_family

Modification history