Theorem CategoryTheory.Presieve.singleton_self

Modification history