Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Madsen
Isometries
cismty
Next ⟩
df-ismty
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cismty
Description:
Extend class notation with the class of metric space isometries.
Ref
Expression
Assertion
cismty
class
Ismty