Hartogs' lemma

  1. REDIRECT Hartogs's extension theorem {{R from merge}}