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

Syntax Definition wvhc12 36613
Description: Syntax for a 12-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
wka  wff  ka
Assertion
Ref Expression
wvhc12  wff  (. ph ,. ps ,. ch ,. th ,. ta ,. et ,. ze ,. si ,. rh ,. mu ,. la ,. ka ).

  Copyright terms: Public domain W3C validator