Theorem Fin.val_intCast

Modification history

2025-08-04 03:44

Mathlib/Data/BitVec.lean

chore: move Fin lemmas out of the BitVec file (#27904) …

Modified Fin.val_intCast View on Github →

2025-06-03 08:51

Mathlib/Data/BitVec.lean

chore: bump toolchain to v4.21.0-rc1 (#25384)

Added Fin.val_intCast View on Github →