crr3c - Mathbox for Andrew Salmon

	Mathbox for Andrew Salmon		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > crr3c		Structured version Visualization version GIF version

Syntax Definition crr3c 41968

Description: RR3 is a class.

**Assertion**
Ref	Expression
crr3c	class RR3

See definition df-rr3 41984 for more information.

Colors of variables: wff setvar class