Theorem CategoryTheory.Sieve.pushforward_monotone

Modification history