Users' Mathboxes Mathbox for Frédéric Liné < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  MPE Home  >  Th. List  >   Mathboxes  >  df-plines Unicode version

Definition df-plines 26059
Description: Definition of PLines. (Contributed by FL, 1-Apr-2016.)
Assertion
Ref Expression
df-plines  |- PLines  = Scalar

Detailed syntax breakdown of Definition df-plines
StepHypRef Expression
1 cplines 26058 . 2  class PLines
2 csca 13211 . 2  class Scalar
31, 2wceq 1623 1  wff PLines  = Scalar
Colors of variables: wff set class
  Copyright terms: Public domain W3C validator