Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Planes
cplng
Next ⟩
df-plng
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cplng
Description:
Declare the constant for the class of planes.
Ref
Expression
Assertion
cplng
class
hlG