Metamath Proof Explorer


Syntax definition cismt

Description: Declare the constant for the isometry builder.

Ref Expression
Assertion cismt
class Ismt