Database
REAL AND COMPLEX NUMBERS
Integer sets
Some properties of specific numbers
1t1e1
Next ⟩
2t1e2
Metamath Proof Explorer
Ascii
Unicode
Theorem
1t1e1
Description:
1 times 1 equals 1.
(Contributed by
David A. Wheeler
, 7-Jul-2016)
Ref
Expression
Assertion
1t1e1
$${\u22a2}1\cdot 1=1$$
Proof
Step
Hyp
Ref
Expression
1
ax-1cn
$${\u22a2}1\in \u2102$$
2
1
mulid1i
$${\u22a2}1\cdot 1=1$$