Syntax Definition wvhc12 38821

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 ).