Theorem CategoryTheory.Sieve.union_apply

Modification history