Commit 2025-04-07 00:30 e943fd93

View on Github →

chore: redefine Nat.bit (#19666)

Estimated changes

modified def Nat.bit