ccref - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > ccref		Structured version Visualization version GIF version

Syntax Definition ccref 31792

Description: The "every open cover has an 𝐴 refinement" predicate.

**Hypothesis**
Ref	Expression
cA	class 𝐴

**Assertion**
Ref	Expression
ccref	class CovHasRef𝐴

See definition df-cref 31793 for more information.

Colors of variables: wff setvar class