Theorem Nat.shiftLeft'_tt_ne_zero

Modification history

2026-03-26 22:21
Mathlib/Data/Nat/Size.lean
chore(Data/Nat/Size): simplify proofs, reduce dependencies (#36974)
Deleted Nat.shiftLeft'_tt_ne_zeroView on Github →
2023-08-27 08:28
Mathlib/Data/Nat/Size.lean
chore: rename `Nat.shiftl'` to `Nat.shiftLeft'` (#6788) …
Added Nat.shiftLeft'_tt_ne_zeroView on Github →