Records about a Random Variable Distribution Function Definition Note

• 关于随机变量分布函数定义的一点注记