Repository navigation
Bound the selected BIT role digit by 2^(H1+13) (no new κ) - #7101
Open
unpaidmoon wants to merge 1 commit into
Open
unpaidmoon wants to merge 1 commit into
unpaidmoon wants to merge 1 commit into
Commits
Commits on Nov 10, 2026
- andcommitted