feat: add instances NeZero(n^0) for n : Nat and n : Int
#14080
| Job | Run time |
|---|---|
| -1s | |
| -1s |
NeZero(n^0) for n : Nat and n : Int
#14080
| Job | Run time |
|---|---|
| -1s | |
| -1s |