Theorem UniformFun.dist_def

Modification history