Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Covering maps
ccvm
Next ⟩
df-cvm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccvm
Description:
Extend class notation with the class of covering maps.
Ref
Expression
Assertion
ccvm
class CovMap