Similar to Horseshoe_lemma

Lebesgue's density theorem

Subharmonic function

Retraction (topology)

Coherent sheaf

Cardinality of the continuum