infix -

🌌nat.infix -

§  infix -(other nat)

 => 

nat

:

Object

[src]

subtract other from this natural number
redefines numeric.infix -:
basic operations: 'infix -' (substraction)