Theorem ContinuousMap.pow_apply

Modification history