Theorem bot_uniformity

Modification history