Theorem pow_bit0_abs

Modification history