Theorem DiscreteUniformity.idRel_mem_uniformity

Modification history