Theorem Int.cast_bit1

Modification history

2024-07-12 03:46

Mathlib/Data/Int/Cast/Basic.lean

chore: remove unused lemmas about bit0/1 (#14661)

Deleted Int.cast_bit1 View on Github →

2024-05-31 00:19

Mathlib/Data/Int/Cast/Basic.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified Int.cast_bit1 View on Github →

2022-11-23 03:12

Mathlib/Data/Int/Cast/Basic.lean

feat: port Data.Int.Cast.Basic (#670) …

Added Int.cast_bit1 View on Github →