Database
BASIC ALGEBRAIC STRUCTURES
Groups
Symmetric groups
The sign of a permutation
cevpm
Next ⟩
df-psgn
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cevpm
Description:
Syntax for even permutations.
Ref
Expression
Assertion
cevpm
class
pmEven