ctpos - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > ctpos		GIF version

Syntax Definition ctpos 6223

Description: The transposition of a function.

**Hypothesis**
Ref	Expression
cF	class 𝐹

**Assertion**
Ref	Expression
ctpos	class tpos 𝐹

See definition df-tpos 6224 for more information.

Colors of variables: wff set class