Database
BASIC ALGEBRAIC STRUCTURES
Groups
Symmetric groups
Transpositions in the symmetric group
cpmtr

Next ⟩ df-pmtr

Metamath Proof Explorer

Unicode
Structured

Syntax definition cpmtr

Description: Syntax for the transposition generator function.

		Ref	Expression
	Assertion	cpmtr	class pmTrsp