Commit 2023-02-01 12:38 d7859726
View on Github →refactor(data/fintype/basic): move fin_choice to a new file (#18337) There is a refactor in the works for these definitions; it will be easier to review and port the refactor if we move this all to a new file first and just forward-port the deletion.