Metamath Proof Explorer

Syntax definition cpsgn

Description: Syntax for the sign of a permutation.

Ref Expression
Assertion cpsgn class pmSgn