Theorem 4t5e20

Description: 4 times 5 equals 20. (Contributed by SN, 30-Mar-2025)

	Ref	Expression
Assertion	4t5e20	$$⊢4\cdot 5=20$$

Proof

Step	Hyp	Ref	Expression
1		5cn	$$⊢5\in ℂ$$
2		4cn	$$⊢4\in ℂ$$
3		5t4e20	$$⊢5\cdot 4=20$$
4	1 2 3	mulcomli	$$⊢4\cdot 5=20$$