Theorem top_uniformity

Modification history