Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Topology
Pseudometrics
cmetid
Next ⟩
cpstm
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmetid
Description:
Extend class notation with the class of metric identifications.
Ref
Expression
Assertion
cmetid
class
~
Met