Commit 2025-08-04 03:44 d7c6608d

View on Github →

chore: move Fin lemmas out of the BitVec file (#27904) This lemma doesn't belong in a file about BitVec, it's part of the ring structure on Fin. One of the proofs can be greatly golfed.

Estimated changes