Theorem tposeqi

Description: Equality theorem for transposition. (Contributed by Mario Carneiro, 10-Sep-2015)

	Ref	Expression
Hypothesis	tposeqi.1	$$⊢F=G$$
Assertion	tposeqi	$$⊢tposF=tposG$$

Proof

Step	Hyp	Ref	Expression
1		tposeqi.1	$$⊢F=G$$
2		tposeq	$$⊢F=G\to tposF=tposG$$
3	1 2	ax-mp	$$⊢tposF=tposG$$