Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-nibli

Definition df-nibli 452
Description: {nibli} internalizes implication.
Assertion
Ref Expression
df-nibligo 1 du'u broda kei nibli 1 du'u brode kei gi ganai broda gi brode

This definition is referenced by:  niblii  453  nibliri  455
  Copyright terms: Public domain W3C validator