Metamath Proof Explorer


Syntax definition ctg

Description: Extend class notation with a function that converts a basis to its corresponding topology.

Ref Expression
Assertion ctg
class topGen