Metamath Proof Explorer


Syntax definition cnacs

Description: Class of Noetherian closure systems.

Ref Expression
Assertion cnacs class NoeACS