Theorem ContinuousMap.zpow_apply

Modification history