Table of Contents
User Sandbox
< Previous
Next >
Related theorems
GIF version
Syntax Definition
chomeo
10520
Description:
Extend class notation with the relation "is homeomorph to.".
Assertion
Ref
Expression
chomeo
class
~=
See definition
df-hmph
10529
for more information.
Colors of variables:
wff
set
class
Copyright terms:
Public domain