Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

F:Formula. Full(F)

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

None