Metamath Proof Explorer


Syntax definition ctpos

Description: The transposition of a function.

Ref Expression
Assertion ctpos class tpos F