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