Theorem SignType.zpow_odd

Modification history