Database
BASIC ALGEBRAIC STRUCTURES
Groups
Symmetric groups
The sign of a permutation
cpsgn
Next ⟩
cevpm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cpsgn
Description:
Syntax for the sign of a permutation.
Ref
Expression
Assertion
cpsgn
class pmSgn