Theorem Int.cast_bit0

Modification history

2024-07-12 03:46

Mathlib/Data/Int/Cast/Basic.lean

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

Deleted Int.cast_bit0 View on Github →

2022-11-23 03:12

Mathlib/Data/Int/Cast/Basic.lean

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

Added Int.cast_bit0 View on Github →