chore: use not_value at Nat.pow_pos (#11523)
#6553
| Job | Run time |
|---|---|
| 33s | |
| 33s |
not_value at Nat.pow_pos (#11523)
#6553
| Job | Run time |
|---|---|
| 33s | |
| 33s |