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.
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.