wind - Mathbox for BJ

	Mathbox for BJ		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > Mathboxes > wind		GIF version

Syntax Definition wind 13961

Description: Syntax for inductive classes.

**Hypothesis**
Ref	Expression
cA	class 𝐴

**Assertion**
Ref	Expression
wind	wff Ind 𝐴

See definition df-bj-ind 13962 for more information.

Colors of variables: wff set class