Commit 2025-03-07 09:23 6fcd9b03

View on Github →

chore(Control/Random): Use NeZero instead of returning Fin n.succ (#22672) Changes the random generation of Fins to take NeZero n instead of giving a Fin n.succ.

Estimated changes