Mod Arith: migrate barrett/subifge to mod arith type#1138

Draft

bqeyfukqbukq wants to merge 5 commits intogoogle:mainfrom bqeyfukqbukq:modarith-remui

+127-99

Commits on Dec 5, 2024

Merge branch 'google:main' into modarith-remui
bqeyfukqbukq
authored