Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

b1,b2:sBExpr. b1 and b2 sBExpr

Applied Tactic: Unfolds ``sbexpr sand`` 0 THEN Auto
Generated subgoals:

None