P
Initializing...
Extended naturals: (a + b) − a = b for finite first addend (⊤ second allowed) · Prove2Me