Description: The QQHom homomorphism is uniformly continuous. (Contributed by Thierry Arnoux, 28-Jan-2018)
Ref | Expression | ||
---|---|---|---|
Hypotheses | qqhucn.b | |
|
qqhucn.q | |
||
qqhucn.u | |
||
qqhucn.v | |
||
qqhucn.z | |
||
qqhucn.1 | |
||
qqhucn.2 | |
||
qqhucn.3 | |
||
qqhucn.4 | |
||
Assertion | qqhucn | |