Theorem CategoryTheory.Sieve.inter_apply

Modification history