Theorem CategoryTheory.Sieve.le_generate

Modification history