PrintForm Definitions ElisTarskiPf B 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:
propimpliesandall

PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc