Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Function transposition
ctpos
Next ⟩
df-tpos
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ctpos
Description:
The transposition of a function.
Ref
Expression
Assertion
ctpos
class tpos F