Theorem CategoryTheory.Presheaf.imageSieve_eq_sieveOfSection

Modification history