Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Splitting fields
chlb

Next ⟩ chlim

Metamath Proof Explorer

Unicode
Structured

Syntax definition chlb

Description: Embeddings for a direct limit.

		Ref	Expression
	Assertion	chlb	class HomLimB