Theorem UniformContinuous.pow_const

Modification history