Definition df-vhc2 28386

Description: Definition of a 2-virtual hypotheses collection. (Contributed by Alan Sare, 23-Apr-2015.) (New usage is discouraged.)

Assertion

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

Detailed syntax breakdown of Definition df-vhc2

Step	Hyp	Ref	Expression
1		wph	. . 3 wff ph
2		wps	. . 3 wff ps
3	1, 2	wvhc2 28385	. 2 wff (. ph ,. ps ).
4	1, 2	wa 359	. 2 wff ( ph /\ ps )
5	3, 4	wb 177	1 wff ( (. ph ,. ps ). <-> ( ph /\ ps ) )

This definition is referenced by:  dfvd2an  28387