Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-skaselbri
Definition df-skaselbri 595
Description: To be colored is to appear colored in a certain context.
Hypothesis
Ref Expression
skaselbri.0 skaselbri bu'a
Assertion
Ref Expression
df-skaselbri ⊢ go ko'a bu'a gi su'o da zo'u su'o de zo'u ko'a skari 1 ka ce'u bu'a kei da de
Distinct variable group:   da ,de
This definition is referenced by: (None)
  Copyright terms: Public domain W3C validator