Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

x,y:. x y = 3 x = 3 y = 3

Applied Tactic: UnivCD THENA Auto THEN D 0
Generated subgoals:

1. x = 3

2. y = 3