Theorem CategoryTheory.Presheaf.subsingleton_iff_isSeparatedFor

Modification history