Theorem not_denseRange_zpow

Modification history