Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology
Paracompact spaces
cpcmp
Next ⟩
df-pcmp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpcmp
Description:
Extend class notation with the class of all paracompact topologies.
Ref
Expression
Assertion
cpcmp
class
Paracomp