Metamath Proof Explorer


Syntax definition chlb

Description: Embeddings for a direct limit.

Ref Expression
Assertion chlb
class HomLimB