Metamath Proof Explorer


Syntax definition cst

Description: Extend class notation with set of states on a Hilbert lattice.

Ref Expression
Assertion cst class States