Theorem Nat.shiftLeft'_true_eq_mul_pow

Modification history

2026-03-26 22:21
Mathlib/Data/Nat/Size.lean
chore(Data/Nat/Size): simplify proofs, reduce dependencies (#36974)
Added Nat.shiftLeft'_true_eq_mul_powView on Github →