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

Definition df-points 26057
Description: Definition of PPoints. (Contributed by FL, 1-Apr-2016.)
Assertion
Ref Expression
df-points  |- PPoints  =  Base

Detailed syntax breakdown of Definition df-points
StepHypRef Expression
1 cpoints 26056 . 2  class PPoints
2 cbs 13148 . 2  class  Base
31, 2wceq 1623 1  wff PPoints  =  Base
Colors of variables: wff set class
  Copyright terms: Public domain W3C validator