Theorem Nat.shiftLeft'_true_ne_zero

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_ne_zeroView on Github →