Theorem CategoryTheory.Sieve.generateSingleton_eq

Modification history