Theorem BoundedContinuousFunction.pow_apply

Modification history