Theorem strictMono_pow_bit1

Modification history