Theorem Odd.strictMono_pow

Modification history