Theorem CategoryTheory.Sieve.functorPushforward_union

Modification history