Theorem CategoryTheory.Presheaf.isSeparated_iff_subsingleton

Modification history