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

Definition df-angc 26287
Description: Angle congruence selector. (Contributed by FL, 1-Apr-2016.)
Assertion
Ref Expression
df-angc  |- angc  =  * r

Detailed syntax breakdown of Definition df-angc
StepHypRef Expression
1 cangc 26286 . 2  class angc
2 cstv 13226 . 2  class  * r
31, 2wceq 1632 1  wff angc  =  * r
Colors of variables: wff set class
  Copyright terms: Public domain W3C validator