Metamath Proof Explorer


Syntax definition cdic

Description: Extend class notation with isomorphism C.

Ref Expression
Assertion cdic
class DIsoC