Theorem CategoryTheory.Presieve.isSeparatedFor_iff_generate

Modification history