Database
ELEMENTARY GEOMETRY
Tarskian Geometry
Planes
cplng
Next ⟩
df-plng
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cplng
Description:
Declare the constant for the class of planes.
Ref
Expression
Assertion
cplng
Could not format assertion : No typesetting found for class PlnG with typecode class