Top New Trends Comments Past Ask Show Jobs

llcv · HackerTrans

llcv

no profile record

comments

·11 ปีที่แล้ว·discuss

Ok. But if you just introduce an symbol with type NatInd, everything works fine?

·11 ปีที่แล้ว·discuss

Can you explain further?