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

Syntax Definition wvhc10 36659
Description: Syntax for a 10-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
Assertion
Ref Expression
wvhc10  wff  (. ph ,. ps ,. ch ,. th ,. ta ,. et ,. ze ,. si ,. rh ,. mu ).

  Copyright terms: Public domain W3C validator