PrintForm Definitions mb automata 1 Sections GenAutomata Doc

At: implies functionality 2

P1,P2,Q1,Q2:Prop. (P1 P2) (Q1 Q2) ((P1 Q1) (P2 Q2))
By:
Auto
THEN
Repeat ThinTrivial
THEN
Trivial
Generated subgoals:

None

About:
propimpliesall

PrintForm Definitions mb automata 1 Sections GenAutomata Doc