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