Skip to content

refactor(Algebra): use native Fin.castLE order isomorphism#3274

Merged
LionSR merged 1 commit into
mainfrom
codex/finsum-native-castle
Jun 21, 2026
Merged

refactor(Algebra): use native Fin.castLE order isomorphism#3274
LionSR merged 1 commit into
mainfrom
codex/finsum-native-castle

refactor(Algebra): use native Fin.castLE order isomorphism

8666bbf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar