Theorem CategoryTheory.Sieve.functorPushforward_bot

Modification history