Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Midpoints and Line Mirroring
cmid
Next ⟩
clmi
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmid
Description:
Declare the constant for the midpoint operation.
Ref
Expression
Assertion
cmid
class
midG