Theorem edist_mem_uniformity

Modification history