feat: add instances NeZero(n^0) for n : Nat and n : Int
#14080
This job was skipped
Loading
NeZero(n^0) for n : Nat and n : Int
#14080