Definition df-vhc3 38805

Description: Definition of a 3-element virtual hypotheses collection. (Contributed by Alan Sare, 13-Jun-2015.) (New usage is discouraged.)

Assertion

Ref	Expression
df-vhc3	|- ( (. ph ,. ps ,. ch ). <-> ( ph /\ ps /\ ch ) )

Detailed syntax breakdown of Definition df-vhc3

Step	Hyp	Ref	Expression
1		wph	. . 3 wff ph
2		wps	. . 3 wff ps
3		wch	. . 3 wff ch
4	1, 2, 3	wvhc3 38804	. 2 wff (. ph ,. ps ,. ch ).
5	1, 2, 3	w3a 1037	. 2 wff ( ph /\ ps /\ ch )
6	4, 5	wb 196	1 wff ( (. ph ,. ps ,. ch ). <-> ( ph /\ ps /\ ch ) )

This definition is referenced by:  dfvd3an  38810