Theorem CategoryTheory.Sieve.le_functorPushforward_pullback

Modification history