Metamath Proof Explorer


Syntax definition chmph

Description: Extend class notation with the relation "is homeomorphic to.".

Ref Expression
Assertion chmph class