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