Database
REAL AND COMPLEX NUMBERS
Integer sets
Decimal representation of numbers
1m1e0
Next ⟩
2nn
Metamath Proof Explorer
Ascii
Unicode
Theorem
1m1e0
Description:
One minus one equals zero.
(Contributed by
David A. Wheeler
, 7-Jul-2016)
Ref
Expression
Assertion
1m1e0
$${\u22a2}1-1=0$$
Proof
Step
Hyp
Ref
Expression
1
ax-1cn
$${\u22a2}1\in \u2102$$
2
1
subidi
$${\u22a2}1-1=0$$