infix ==

🌌nat.infix ==

§  infix ==(other nat)

 => 

bool

:

Object

[src]

are these natural numbers equal?
redefines numeric.infix ==:
comparison