Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

b:. b b =b ff = ff

Applied Tactic: D 0 THENA Auto
Generated subgoals:

1. b b =b ff = ff