Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

S:Sequent. Full(S)

Applied Tactic: Unfold `full_sequent_assignment` 0 THEN Auto
Generated subgoals:

None