Minlos' theorem

  1. REDIRECT Minlos's theorem

{{R from move}}