Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Algebraic closure systems
cnacs
Next ⟩
df-nacs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnacs
Description:
Class of Noetherian closure systems.
Ref
Expression
Assertion
cnacs
class
NoeACS