Metamath Proof Explorer


Syntax definition cpsgn

Description: Syntax for the sign of a permutation.

Ref Expression
Assertion cpsgn class pmSgn