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

Next ⟩ chlim

Metamath Proof Explorer

Ascii
Unicode

Syntax definition chlb

Description: Embeddings for a direct limit.

		Ref	Expression
	Assertion	chlb	$class HomLimB$