culm - Metamath Proof Explorer

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

Syntax Definition culm 25535

Description: Extend class notation to include the uniform convergence predicate.

**Assertion**
Ref	Expression
culm	class ⇝_𝑢

See definition df-ulm 25536 for more information.

Colors of variables: wff setvar class