TopCommRing

A bundled topological commutative ring.

TopCommRing.of

Construct a bundled TopCommRing from the underlying type and the appropriate typeclasses.

TopCommRing.has_forget_to_Top

The forgetful functor to Top.