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

Syntax Definition wvhc11 36418
Description: Syntax for an 11-element virtual hypotheses collection. (Contributed by Alan Sare, 17-Oct-2017.) (New usage is discouraged.)
Hypotheses
Ref Expression
wph  wff  ph
wps  wff  ps
wch  wff  ch
wth  wff  th
wta  wff  ta
wet  wff  et
wze  wff  ze
wsi  wff  si
wrh  wff  rh
wmu  wff  mu
wla  wff  la
Assertion
Ref Expression
wvhc11  wff  (. ph ,. ps ,. ch ,. th ,. ta ,. et ,. ze ,. si ,. rh ,. mu ,. la ).

  Copyright terms: Public domain W3C validator