Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Midpoints and Line Mirroring
clmi
Next ⟩
df-mid
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clmi
Description:
Declare the constant for the line mirroring function.
Ref
Expression
Assertion
clmi
class
lInvG