Metamath Proof Explorer


Syntax definition cevpm

Description: Syntax for even permutations.

Ref Expression
Assertion cevpm class pmEven