Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
solomatov
11y ago
0 comments
Save
Share
See my comment above.
0 comments
1 comments · 1 top-level
top
newest
oldest
llcv
11y ago
Ok. But if you just introduce an symbol with type NatInd, everything works fine?
j
/
k
navigate · click thread line to collapse
