Metamath Proof Explorer


Syntax definition cii

Description: Extend class notation with the unit interval.

Ref Expression
Assertion cii class II