Theorem CategoryTheory.Presieve.image_mem_functorPushforward

Modification history