Theorem CategoryTheory.Sieve.generate_of_singleton_isSplitEpi

Modification history