Theorem CategoryTheory.Presheaf.imageSieve_whisker_forget

Modification history