cstv - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cstv		Structured version Visualization version GIF version

Syntax Definition cstv 16890

Description: Extend class notation with involution.

**Assertion**
Ref	Expression
cstv	class *_𝑟

See definition df-starv 16903 for more information.

Colors of variables: wff setvar class