Theorem CategoryTheory.Sieve.functorPushforward_monotone

Modification history