PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
prop
and
iff
A,B,C:Prop. B
(A
B & C)
(A
C)
By:
Unfold `guard` 0
THEN
ProveProp
Generated subgoals:
None
About:
PrintForm
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
A,B,C:Prop. B 
(A 
B & C) (A C)
