Users' Mathboxes Mathbox for Alan Sare < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  MPE Home  >  Th. List  >   Mathboxes  >  wvhc9 Structured version   Visualization version   Unicode version
Syntax Definition wvhc9 38818
Description: Syntax for a 9-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
Assertion
Ref Expression
wvhc9 wff (. ph ,. ps ,. ch ,. th ,. ta ,. et ,. ze ,. si ,. rh ).
  Copyright terms: Public domain W3C validator