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

Next ⟩ cpfl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition chlim

Description: Direct limit structure.

		Ref	Expression
	Assertion	chlim	$class HomLim$