From 11743c3959c5d28c322e293fd8c63f4bea713dec Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Tue, 5 Nov 2024 15:34:12 +1100
Subject: [PATCH] chore: remove @[simp] from BitVec.ofFin_sub and sub_ofFin