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