Metamath Proof Explorer


Syntax definition comn

Description: Extend class notation with the higher loop spaces.

Ref Expression
Assertion comn
class OmN