Database
BASIC TOPOLOGY
Topology
Limit points and perfect sets
cperf
Next ⟩
df-lp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cperf
Description:
Extend class notation with the class of all perfect spaces.
Ref
Expression
Assertion
cperf
class Perf