Theorem CategoryTheory.Sieve.pushforward_le_bind_of_mem

Modification history