Metamath Proof Explorer


Syntax definition cdib

Description: Extend class notation with isomorphism B.

Ref Expression
Assertion cdib class DIsoB