Theorem SignType.zpow_even

Modification history