Theorem CategoryTheory.Sieve.pushforward_comp

Modification history