chlb - Mathbox for Mario Carneiro

	Mathbox for Mario Carneiro		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > chlb		Structured version Visualization version Unicode version

Syntax Definition chlb 31524

Description: Embeddings for a direct limit.

**Assertion**
Ref	Expression
chlb	HomLimB

See definition df-homlimb 31532 for more information.

Colors of variables: wff setvar class