Theorem Odd.pow

Modification history