ckard - Mathbox for BTernaryTau

	Mathbox for BTernaryTau		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > ckard		Structured version Visualization version GIF version

Syntax Definition ckard 35495

Description: Extend class definition to include the alternative cardinal size function.

**Assertion**
Ref	Expression
ckard	class kard

See definition df-kard 35496 for more information.

Colors of variables: wff setvar class