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 28617
Description: Syntax for a 3-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 28618 for more information.

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