Users' Mathboxes Mathbox for Alan Sare < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  MPE Home  >  Th. List  >   Mathboxes  >  wvhc3 Structured version   Unicode version

Syntax Definition wvhc3 33778
Description: Syntax for a 3-element virtual hypotheses collection. (Contributed by Alan Sare, 13-Jun-2015.) (New usage is discouraged.)
Hypotheses
Ref Expression
wph  wff  ph
wps  wff  ps
wch  wff  ch
Assertion
Ref Expression
wvhc3  wff  (. ph ,. ps ,. ch ).

See definition df-vhc3 33779 for more information.

Colors of variables: wff setvar class
  Copyright terms: Public domain W3C validator