If the set of points where a function is nonzero is of finite measure, and its Weyl transform is a finite rank operator, then the function is identically zero.
生成讲解博客的中文版本
生成AI智能校验的中文版本