Database
BASIC TOPOLOGY
Filters and filter bases
Extension by continuity
ccnext
Next ⟩
df-cnext
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccnext
Description:
Extend class notation with the continuous extension operation.
Ref
Expression
Assertion
ccnext
class CnExt