Theorem Nat.shiftLeft_eq_mul_pow

Modification history