Theorem SignType.pow_even

Modification history